07a2587ae19e10bf2a08833b0099eb9b38736795,io.sloeber.core/src/io/sloeber/core/tools/Helpers.java,Helpers,setTheEnvironmentVariablesAddThePlatformInfo,#IContributedEnvironment#ICConfigurationDescription#,731

Before Change


		for (ArduinoPlatform curPlatform : Manager.getInstalledPlatforms()) {
			addPlatformFileTools(curPlatform, contribEnv, confDesc);
		}
		ArduinoPlatform platform = Manager.getPlatform(new File(referencedPlatformFileName));
		if (platform != null) {
			addPlatformFileTools(platform, contribEnv, confDesc);
		}

After Change


		}

		// by adding the referencenced platform after the real platform
		platform = Manager.getPlatform(new File(referencedPlatformFileName));
		if (platform != null) {
			addPlatformFileTools(platform, contribEnv, confDesc);
		}